A semi-quantitative equivalence for abstracting from fast reactions

A semi-quantitative equivalence for abstracting from fast reactions

Semantic equivalences are used in process algebra to capture the notion of similar behaviour, and this paper proposes a semi-quantitative equivalence for a stochastic process algebra developed for biological modelling. We consider abstracting away from fast reactions as suggested by the QuasiSteady-State Assumption. We define a fast-slow bisimilarity based on this idea. We also show congruence ...

Abstracting a Speciication from Code

ing a Speci cation from Code Martin Ward Computer Science Dept Science Labs South Rd Durham DH1 3LE July 16, 1993 Abstract Much of the work on developing program transformation systems has concentrated on systems to assist in program development. However, the four separate surveys carried out between 1977 and 1990 [18,20,22,24], summarised in [17], show that between 40% and 60% of all commercia...

designing a fast locking pll

a phase-locked loop (pll) based frequency synthesizer is an important circuit that is used in many applications, especially in communication systems such as ethernet receivers, disk drive read/write channels, digital mobile receivers, high-speed memory interfaces, system clock recovery and wireless communication system. other than requiring good signal purity such as low phase noise and low spu...

Abstracting from Failure Probabilities

ing from Failure Probabilities Jan Jürjens Computing Laboratory, University of Oxford, GB [email protected] – http://www.jurjens.de/jan Abstract In fault-tolerant computing, dependability of systems is usually demonstrated by abstracting from failure probabilities (under simplifying assumptions on failure occurrences). In the specification framework FOCUS, we show under which conditions and t...

A Fast Modular Semi - LagrangianMethod for Moving